Restriction for Semigroups and Categories First afternoon talk of Calgary workshop
نویسنده
چکیده
Restriction for Semigroups and Categories First afternoon talk of Calgary workshop Ernie Manes, June 2, 2006 This handout includes axiom systems useful for the talk, a very small set of definitions in category theory and a 12-step program to help semigroup theorists who have never studied category theory to get up to speed. The references at the end will be mentioned in the talk. Slogan: In the study of semigroups, it is sometimes useful to add some new objects to obtain a category associated with that semigroup. Tentative talk outline: 1. History of restriction in semigroups. 2. The unusual expressiveness of universal mapping properties. 3. Idempotents: monoids vs. categories. 4. The regular representation is the Yoneda embedding. 5. Boolean restriction.
منابع مشابه
University of Calgary What Is a Differential Partial Combinatory Algebra? University of Calgary Faculty of Graduate Studies
In this thesis we combine Turing categories with Cartesian left additive restriction categories and again with differential restriction categories. The result of the first combination is a new structure which models nondeterministic computation. The result of the second combination is a structure which models the notion of linear resource consumption. We also study the structural background req...
متن کاملExtending the Ehresmann-schein-nambooripad Theorem
We extend the ‘∨-premorphisms’ part of the Ehresmann-ScheinNambooripad Theorem to the case of two-sided restriction semigroups and inductive categories, following on from a result of Lawson (1991) for the ‘morphisms’ part. However, it is so-called ‘∧-premorphisms’ which have proved useful in recent years in the study of partial actions. We therefore obtain an Ehresmann-Schein-Nambooripad-type t...
متن کاملSemigroups with inverse skeletons and Zappa-Sz$acute{rm e}$p products
The aim of this paper is to study semigroups possessing $E$-regular elements, where an element $a$ of a semigroup $S$ is {em $E$-regular} if $a$ has an inverse $a^circ$ such that $aa^circ,a^circ a$ lie in $ Esubseteq E(S)$. Where $S$ possesses `enough' (in a precisely defined way) $E$-regular elements, analogues of Green's lemmas and even of Green's theorem hold, where Green's relations ${mathc...
متن کاملMathematisches Forschungsinstitut Oberwolfach Mini-workshop: Wellposedness and Controllability of Evolution Equations
Fast control cost for heat-like semigroups: Lebeau-Robbiano strategy and Hautus test Luc Miller (joint work with Thomas Duykaerts) Since the seminal work of Russell and Weiss in [7], resolvent conditions for various notions of admissibility, observability and controllability, and for various notions of linear evolution equations have been studied intensively, sometimes under the name of infinit...
متن کاملWORKSHOP REPORT Workshop on the Evaluation of Multimedia Retrieval
The evaluation of multimedia retrieval is a subject that has gained momentum in the last couple of years. CWI, the National Research Institute for Mathematics and Computer Science in the Netherlands, organised a workshop organised on the subject on 24 November 2004. The main aim of the workshop was to bring together researchers and practitioners in the field of multimedia retrieval to discuss t...
متن کامل